Skip to content

CI: run pull requests once - #12

Merged
cedricvogel-leo merged 1 commit into
mainfrom
chore/ci-trigger
Oct 25, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
chore/ci-trigger

Conversation

@cedricvogel-leo

Copy link
Copy Markdown
Collaborator

The macro check ran twice for every pull request (once for the push to the branch, once as pull_request). push now only triggers on main, so a pull request runs once and main is checked again after the merge. The README says so.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@cedricvogel-leo
cedricvogel-leo merged commit 981e21e into main Oct 25, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant